A Normative Supervisor for Reinforcement Learning Agents

Abstract We introduce a modular and transparent approach for augmenting the ability of reinforcement learning agents to comply with given norm base. The normative supervisor module functions as both an event recorder real-time compliance checker w.r.t. external have implemented this theorem prover defeasible deontic logic, in agent that we task playing “vegan” version arcade game Pac-Man.